An Assumption-Based TMS
نویسنده
چکیده
منابع مشابه
Design and Implementation of Multiple-Context Truth Maintenance System with Binary Decision Diagram
Implicit enumeration of prime implicates in Truth Maintenance System (TMS) is investigated. CMS (Clause Management System), an extension of Assumption-based TMS (ATMS), that accepts any type of justi cation has a burden to compute all prime implicates, since its complexity is NP-complete. To improve the performance of multiple-context TMS such compact representation of boolean functions. In thi...
متن کاملProblem Solving with the ATMS
An assumption-based truth maintenance system provides a very general facility for all typesof default reasoning. However, the A TMS is only one component of an overall reasoning system. This paper presents a set of concerns for interfacing with the A TMS, an interface protocol, and an example of a constraint language based on the protocol; The paper concludes with a comparison of the A TMS and ...
متن کاملVertex Stimulation as a Control Site for Transcranial Magnetic Stimulation: A Concurrent TMS/fMRI Study
BACKGROUND A common control condition for transcranial magnetic stimulation (TMS) studies is to apply stimulation at the vertex. An assumption of vertex stimulation is that it has relatively little influence over on-going brain processes involved in most experimental tasks, however there has been little attempt to measure neural changes linked to vertex TMS. Here we directly test this assumptio...
متن کاملExploiting Locality in a TMS
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. The basic intuition behind this approach is to convey the locality of the knowledge representation of the problem solver to the TMS. The TMS then uses this locality information to control and restrict its inferences. T...
متن کاملCompiling Devices and Processes
This paperpresents a new approach for exploiting Truth Maintenance Systems(TMSs in which the inference engine can convey locality in its knowledge to the TMS . This approach is ideally suited for systems which reason about the physical world because much of knowledge is inherently local, i .e ., the constraints for a particular component or process usually only interact with constraints of phys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Artif. Intell.
دوره 28 شماره
صفحات -
تاریخ انتشار 1986